• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Website (236)
    • Article (131)
    • Book (10)
    • Miscellaneous (5)
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 5 6 7 8 9...20 Hits 81 – 100 of 382 81 An Architecture for the Semantic Processing of Natural Language Input to a Policy Workbench Custy, E. J. In: DTIC AND NTIS (2003) BASE Show details 82 Exercising a Native Intelligence Metric on an Autonomous On-Road Driving System Horst, John A. In: DTIC (2003) BASE Show details 83 M.P.: Flexible protocol specification and execution: Applying event calculus planning using commitments Pınar Yolum; Munindar P. Singh In: http://www.cmpe.boun.edu.tr/courses/cmpe593/spring2006/reading/p273-yolum.pdf (2002) BASE Show details 84 Sketching for Knowledge Capture: A Progress Report Forbus, Kenneth D.; Usher, Jeffrey In: DTIC (2002) BASE Show details 85 Entwurf und Erprobung eines software-gestützten Verfahrens zur Anwendung software-ergonomischer Methoden in den frühen Phasen der Anwendungsentwicklung Schlegel, Thomas. - : Stuttgart, Germany, Universität Stuttgart, 2002 In: ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-1985/DIP-1985.pdf (2002) BASE Show details 86 The Architecture of TrueViz: A Groundtruth/Metadata Editing and Visualizing Toolkit Lee, Chang Ha; Kanungo, Tapas In: DTIC (2001) BASE Show details 87 Generic description of a software document environment Toleman, Mark; Carrington, David; Cook, Phil. - 2001 BASE Show details 88 Incremental parsing in language-based editors: user needs and how to meet them Cook, Phil; Welsh, Jim. - : John Wiley & Sons, 2001 BASE Show details 89 Nomadic Radio: Speech Audio Interaction for Contextual Messaging in Nomadic Environments Nitin Sawhney; Chris Schmandt In: http://www.media.mit.edu/~nitin/NomadicRadio/tochi/tochi2000.ps (2000) BASE Show details 90 Nomadic Radio: Speech Audio Interaction for Contextual Messaging in Nomadic Environments Nitin Sawhney; Chris Schmandt In: http://www.media.mit.edu/~nitin/projects/NomadicRadio/tochi/tochi99.ps (2000) BASE Show details 91 Automatic Verification of Multiagent Conversations Lacey, Timothy; DeLoach, Scott A. In: DTIC (2000) BASE Show details 92 Generalized Aliasing as a Basis for Program Analysis Tools O'Callahan, Robert In: DTIC (2000) Abstract: Tools for automatic program analysis promise to improve programmer productivity by searching and summarizing large bodies of code. However, the phenomenon of aliasing different names being used to refer to the same data reduces the effectiveness of simple textual analyses. This dissertation describes the design of a system, Ajax, that addresses this problem by using semantics-based program analysis as the basis for a number of different tools to aid Java programmers. To enable the construction of many tools, Ajax imposes a clean separation between analysis engines that produce alias information and tools that consume it. Analyses are treated as "black boxes" satisfying a simple, formal specification given in terms of the semantics of Java bytecode. Knowing only this specification, one can build many different tools with only a small amount of code. The thesis explores the flexibility and efficiency of the design by describing the construction and evaluation of several different tools: tools to find dead code, resolve Java virtual method calls, statically check Java downcasts, search for accesses to objects, and build object models. To support these tools, Ajax includes a novel static analysis engine for Java called SEMI, based on type inference with polymorphic recursion. SEMI provides fully context sensitive analysis of large programs. Using SEMI with the downcast checking tool, Ajax can prove the safety of more than 50% of the downcast instructions in some real-life Java programs, such as Sun's bytecode disassembler and the JavaCC parser generator. Ajax is the first system to address this particular task. One of the key goals of this thesis is to study issues bearing on the practical utility of static analysis tools for programmers. This document describes some of the challenges involved in building an analysis system for off-the-shelf Java applications, and suggests some possible avenues for future research. ; Sponsored in part by the National Science Foundation under Grant No., CCR9523972. Keyword: *JAVA PROGRAMMING LANGUAGE; *OBJECT ORIENTED PROGRAMMING; *OFF THE SHELF EQUIPMENT; *SEMANTICS; *SOFTWARE ENGINEERING; AUTOMATIC PROGRAMMING; CODING; COMPUTER ARCHITECTURE; Computer Hardware; Computer Programming and Software; Linguistics; MODELS; PARSERS; RECURSIVE FUNCTIONS; SOFTWARE TOOLS; THESES; VERIFICATION URL: http://www.dtic.mil/docs/citations/ADA461095 http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA461095 BASE Hide details 93 Semantic Interoperability on the Web Heflin, Jeff; Hendler, James In: DTIC AND NTIS (2000) BASE Show details 94 Linguistic Assistant for Domain Analysis (LIDA) Korelsky, Tanya; Lavoie, Benoit; Overmyer, Scott In: DTIC AND NTIS (2000) BASE Show details 95 A Platform for Multilingual Research in Spoken Dialogue Systems Cole, Ronald A.; Serridge, Ben; Hasom, John-Paul... In: DTIC (2000) BASE Show details 96 Toward Formalizing Structured Analysis Luciano Baresi; Politecnico Di Milano In: http://home.deib.polimi.it/baresi/papers/TOSEM.pdf (1998) BASE Show details 97 A Graphical Environment for the Design of Concurrent Real-Time Systems L. E. Moser; Y. S. Ramakrishna; G. Kutty... In: http://lsi.ugr.es/~mcapel/docencia/doctorado/seguro/TL_artl/moserRamaKuttyMelliarDillon97.pdf (1997) BASE Show details 98 Applying the SCR Requirements Specification Method to Practical Systems: A Case Study Bharadwaj, Ramesh; Heitmeyer, Connie In: DTIC (1996) BASE Show details 99 An Evolutionary Perspective of Software Engineering Research Through Co-Word Analysis. Coulter, Neal; Monarch, Ira; Konda, Suresh... In: DTIC AND NTIS (1996) BASE Show details 100 Integrating design and development in the production of multimedia documents Morris, S.; Finkelstein, A. In: In: 1996 International Workshop on Multimedia Software Development (MMSD '96). (pp. pp. 98-107). IEEE Computer Society Press (1996) (1996) BASE Show details Page: 1 2 3 4 5 6 7 8 9...20

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 236 Journal directory 0 Database directory 11 Dictionary directory 0 Open access documents BASE 146 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0